NOT_BOUND
if (r == NOT_BOUND || r == CALL_FAILED)
if (r == NOT_BOUND || r == CALL_FAILED)
assert(res != NOT_BOUND);
return (NOT_BOUND);
case NOT_BOUND: \
assert(r == NOT_BOUND || r == CALL_FAILED || \
return (NOT_BOUND);