{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"assert_eq_pnsat!(\"$9\","}]}
    assert_eq_pnsat!("$9", Some("{9}"));
    assert_eq_pnsat!("$0", Some("{0}"));
    assert_eq_pnsat!("$1", Some("{1}"));