Compiler for my OISC language called "Lag"
a;b;c;d
Declare label a, decrement integer c(can be negative) from variable b(result is stored in variable b) and if result is equal to zero goto label d(if result was less than zero then don't). Vaiables are unbounded size and can be negative
lag filename
TCPL is language that translates to Lag. More information can be found in Turing-completness proof of Lag on esolangs.org