added ISPCAlloc/ISPCLaunch