now nvptx allows extern "C" task void, which is emits a kernel that should (?) be callable by driver API from external code
using mask i1 for nvptx64