goto label is the unconditional branch instruction: execution is continued at P = @label.
on-nil-goto label is the only conditional branch instruction in the LLAMA: execution is continued at P = @label iff the top stack element is nil; execution continues at the instruction following the on-nil-goto instruction otherwise.