fn fail() -> Void raises [BadInput] {
    raise BadInput
}

pub fn main(world: World) -> Void raises {
    fail()
    check world.out.write("unreachable\n")
}