{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"assert_eq_pnsat!(\"%d\","}]}
    assert_eq_pnsat!("%d", Some("{}"));
    assert_eq_pnsat!("%c", Some("{}"));
    assert_eq_pnsat!("%u", Some("{}"));