@goto = {}

def label(name)
  callcc{|c| @goto[name] = c }
end

def goto(name)
  @goto.fetch(name).call
end

a = 1
b = 2

label :add
a += 1
b += 1
goto :add unless a > 10
p a
p b