Use fcall + fret instead of fgoto.

This removes the hardcoded return to the main machine.