define private i32 @x() {
  ret i32 10
}