compiler: start of a SPARK parser