arena_push :: (size: int): int
  result := size + 10
  return result