Este lenguaje es un subconjunto del lenguaje C, con funciones y variables de rastreo añadidas.