Este intérprete, junto con los test funcionales, forman la especificación "de facto" del lenguaje.