tests/parser/badf3.c: edit to make actually compilable

badf3.c still fails with our own parser though!