Symbol: IntReq