in a nice state now..
-- output file is selected and stored globally rather than being
   passed around all the time;
-- implicit NULL tests are now explicit;
-- some details of the generated code are different now.