Expression generation and assignments seem fine;

The stupid.pa test compiles and runs;