JUMP_SOURCE_IS_OK
return JUMP_SOURCE_IS_OK; /* have to assume it's correct */
return JUMP_SOURCE_IS_OK; /* exactamundo! */
return JUMP_SOURCE_IS_OK; /* have to assume it's correct */
return JUMP_SOURCE_IS_OK; /* exactamundo! */
case JUMP_SOURCE_IS_OK: