///| fn main { ignore(0) }