chiark / gitweb /
fix possible endless loop for GOTO to non-existent LABEL