still a bug with vector declarations, but compilable c code produced for several examples