// error-pattern:thread 'main' panicked at

fn main() {
    panic!()
}