int %main() {  
  ret int 42
}