// pp-exact:example2.pp fn main() {}