fn fun(a:u1) : u8 = {
  def w = setlabel{}
  def l = makelabel{}
  if (a) goto{l}
  return{5}
  goto{w}
  if (a) goto{'sym'}
  setlabel{'sym'}
  setlabel{l}
  6
}