1:  func : test
   2:  $t0 = true
   3:  c = $t0
   4:  $t1 = !c
   5:  d = $t1
   6:  $t2 = 1
   7:  return : $t2