dec.rs

fn dec(tape: &mut Tape) {
    tape.tape[tape.position] -= 1;
}

trace.rs

LoadFunc(DefId { krate: 0,
node: DefIndex(17) => dec }),
Call,
StackFrame(6),
LoadLocal(0),
Use,
StoreLocal(1),
LoadLocal(1),
DEREF,
TUPLE_GET(1),
Use,
StoreLocal(2),
LoadLocal(1),
DEREF,
TUPLE_GET(0),
Len,
StoreLocal(3),
LoadLocal(2),
LoadLocal(3),
BINOP(Lt),
StoreLocal(4),
LoadLocal(4),
Guard(Guard(true)),
LoadLocal(2),
LoadLocal(1),
DEREF,
TUPLE_GET(0),
GetIndex,
Usize(1),
BINOP(Sub),
LoadLocal(2),
LoadLocal(1),
DEREF,
TUPLE_GET(0),
AssignIndex,
TUPLE(0),
RETURN_POINTER,
RETURN,