target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-scei-ps4"

define i32 @tin() {
  ret i32 22
}

define i32 @pat() {
  ret i32 42
}