main() {
  x2 = 3
  int32[stack(0)] = x2
  x1 = int32[stack(0)]
  return x1
}