yacc: WIP snapshot (ok)