package test { nativetype string nativetype int native testFail(string msg) native testSuccess() init { if -3 < 0 { testSuccess() } else { testFail("defect in unary operation") } } }