{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"parse_atomic_ordering(fail_ordering),"}]}
                    parse_atomic_ordering(fail_ordering),
                    parse_atomic_ordering(succ_ordering),
                    weak,