formatInstructions _ _ _ ws [] =
  "ERROR: No more instructions (" <> PP.int (length ws) <> " code units left)"
formatInstructions _ _ _ ws [] =
  "ERROR: No more instructions (" <> PP.int (length ws) <> " code units left)"
formatInstructions _ _ _ ws [] =
  "ERROR: No more instructions (" <> PP.int (length ws) <> " code units left)"