# verbose mode in dsl parsing