bugfix: parser (expected unqualified-id before int)