define i32 @main() #0 {
entry:
  ret i32 0
}