{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"assert_eq_pnsat!(\"%X\","}]}
    assert_eq_pnsat!("%X", Some("{:X}"));
    assert_eq_pnsat!("%x", Some("{:x}"));
    assert_eq_pnsat!("%e", Some("{:e}"));