add alloc_executable