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