Symbol: do_req