VirtualCPU is a TAC-based DSL for generating platform independent IR.
It is a sort of Slang but more crude and more low-level. Where Slang has C semantics, VCPU is the assembler equivalent.