define i32 @foo()  {
  ret i32 0
}