added ISPCAlloc/ISPCLaunch implementation