DEFN 0 4;

PUSH .33333333;
PUSH .66666666;
PUSH 0;
DECIDE 0 1 2;
HALT;