//@ run-pass
//@ ignore-sgx not supported
#![allow(deprecated)]

use std::thread;

fn main() {
    thread::sleep_ms(250);
}