LIBOS_MEMORY_REGION_CONTIGUOUS
args[0].kind = LIBOS_MEMORY_REGION_CONTIGUOUS;
args[1].kind = LIBOS_MEMORY_REGION_CONTIGUOUS;
args[2].kind = LIBOS_MEMORY_REGION_CONTIGUOUS;
args[3].kind = LIBOS_MEMORY_REGION_CONTIGUOUS;