SDC Virtual Machine API (internal API)