define i32 @main(i32 %argc, i8**  %argv)  {
entry:
  ret i32 42
}