Support floating-point if/while statements: if(1.0) { ... } Support reading values from float and double pointers. And some additional error checking. Detect malformed "return" statements Detect passing the results of "void" functions as arguments.