Loader.c translated

# Loader.c translated

P(y, x) := (y*2+1) * 2**x

Z(x) := do
  zeros := 0
  while (x & 1) == 0
    zeros += 1
    x >>= 1
  return zeros

L(x) := x >> (1 + Z(x))

S(v, y, c, t) := do
  f := L(t)
  x := 1

  if f > 2
    if f > v
      return t - c
    elif f < v
      return t
    else
      return y
  elif f < 2
    t = S(4, 13, -4, y)
    return P(f, P(S(v, y, c, L(x)), S(v+2, t, c, Z(x))))
  else
    return A(S(v, y, c, L(x)), S(v, y, c, Z(x)))

A(y, x) := do
  if L(y) != 1
    return 5 << P(y, x)
  else
    return S(4, x, 4, 0)

D(x) := do
  c := 0
  t := 7
  u := 14

  loop do

    if x != 0
      D(x-1)

    x >>= 1
    if (x & 1) == 0
      break

    d = L(L(D(x)))
    f = 0
    x = 0

    if c == 1
      if L(u) == 0 and 0 == f
        x >>= 1
        if (x & 1) == 0
          u = S(4, d, 4, 1)
          t = A(t, d)

      x >>= 1
      if (f >> 1 & 1) != 0 and (x & 1) != 0
        c = P(d, c)
        t = S(4, 13, -4, t)
        u = S(4, 13, -4, u)

    if c != 0
      x >>= 1
      if (x & 1) != 0
        x >>= 1
        if (u&2) == 0 or (x&1) != 0
          u = 1 << P(L(c), u)
          t = P(u, 1)
        else
          t = 2
        c = 1

    x >>= 1
    if (u >> 1) != 0 and (x & 1) != 0
      c = P(t, c)
      u = S(4, 13, -4, t)
      t = 9

  a = P(P(t, P(u, P(x, c))), a)
  return a

main() := D(D(D(D(D(99)))))