{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"assert_eq_pnsat!(\"%#x\","}]}
    assert_eq_pnsat!("%#x", Some("{:#x}"));
    assert_eq_pnsat!("%4.2f", Some("{:4.2}"));
    assert_eq_pnsat!("%-10s", Some("{:<10}"));