{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"assert_eq_pnsat!(\"%lu\","}]}
    assert_eq_pnsat!("%lu", Some("{}"));
    assert_eq_pnsat!("%08X", Some("{:08X}"));
    assert_eq_pnsat!("%Iu", Some("{}"));