Una pregunta tonta que hasta ahora no me había planteado...
Supongamos que realmente sí se para la ejecución de los scripts y prosiguen el proceso cuando se ha finalizado la descarga de los datos por ajax. ¿Los scripts pausados se ejecutarán secuencialmente en orden de llamada o se ejecutarán en procesos paralelos?
El motivo de la pregunta es claro. Si se ejecutan procesos paralelos, evidentemente, el alert(mensaje) va a finalizar mucho antes de que el primer script haya terminado de ejecutar el eval(string), con lo que la variable para el mensaje aún no estará disponible.
Ya he encontrado el problema y no tiene nada que ver con ajax.
Simplemente llamo a la función de carga del pack de idioma en <body onload="">. Dado que el script llamado por onLoad se ejecuta cuando ya se ha cargado completamente la página,
resulta que llamo al script del alert() antes de llamar al script cargador de idioma.
De todas formas sigue siendo interesante saber si los procesos javascript se ejecutan secuencialmente o en proceso paralelo.