function (+ a b) entry=bb0
bb0:
  v0 = lookup 'assert
  v1 = typeof v0
  v2 = Binop.SYM_EQ v1 'function
  brn v2 non_function
  v3 = arity v0
  v4 = Binop.NUM_EQ v3 1
  brn v4 wrong_arity
  v5 = lookup 'number?
  v6 = typeof v5
  v7 = Binop.SYM_EQ v6 'function
  brn v7 non_function
  v8 = arity v5
  v9 = Binop.NUM_EQ v8 1
  brn v9 wrong_arity
  v10 = call v5 (a)
  v11 = call v0 (v10)
  v12 = lookup 'assert
  v13 = typeof v12
  v14 = Binop.SYM_EQ v13 'function
  brn v14 non_function
  v15 = arity v12
  v16 = Binop.NUM_EQ v15 1
  brn v16 wrong_arity
  v17 = lookup 'number?
  v18 = typeof v17
  v19 = Binop.SYM_EQ v18 'function
  brn v19 non_function
  v20 = arity v17
  v21 = Binop.NUM_EQ v20 1
  brn v21 wrong_arity
  v22 = call v17 (b)
  v23 = call v12 (v22)
  v24 = lookup 'inst/+
  v25 = typeof v24
  v26 = Binop.SYM_EQ v25 'function
  brn v26 non_function
  v27 = arity v24
  v28 = Binop.NUM_EQ v27 2
  brn v28 wrong_arity
  v29 = call v24 (a, b)
  return v29

non_function:
  trap 'Attempted to call a non-function'

wrong_arity:
  trap 'Call with the wrong number of arguments'