better error message when C compilation fails
bugfix: case exhaustiveness checking
added system.locals