src/tools/miri/tests/run-pass/intptrcast_format.rs

// compile-flags: -Zmiri-seed=

fn main() {
    println!("Hello {}", 13);
    println!("{:0<width$}", "hello", width = 10);
}