// run-pass fn main() {}