int %main() {
  cast bool true to int
  cast int 6 to bool

  ret int 0
}