virtualx-engine/drivers/convex_decomp/SCsub