define i32 @foo()  {
entry:
  ret i32 42
}