{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"assert_eq_pnsat!(\"%I32u\","}]}
    assert_eq_pnsat!("%I32u", Some("{}"));
    assert_eq_pnsat!("%Iu", Some("{}"));
    assert_eq_pnsat!("%I64u", Some("{}"));