Add a FIXME to the HALT instruction for reference