Corrected local varcount for static main, return BAD mode for void type