Code Language SPIN2