goto statements seem to be generated correctly