Symbol: int_reply