def jump(name):
    """Jumps to a label."""
    # Since the label may not yet be defined, this is actually a thunk. SQLVM
    # then interprets this thunk in a second pass, where it will actually point
    # to the label.
    return '{{ _jump_thunk("' + name + '") }}'