formatInstructions _ _ _ [] is =
  "ERROR: No more code units (" <> PP.text (show is) <> " instructions left)"
formatInstructions _ _ _ [] is =
  "ERROR: No more code units (" <> PP.text (show is) <> " instructions left)"
formatInstructions _ _ _ [] is =
  "ERROR: No more code units (" <> PP.text (show is) <> " instructions left)"