fn bad_pointer_message(msg: CheckInAllocMsg, handler: &Handler) -> String