Symbol: check_attach_modify_return