Symbol: __EXEC_USERPTR_USED