{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
/// identifies at a finer granularity. In particular, we distinguish
/// statement within a basic block, to a "rich location", which
/// the *start* of a statement and the *mid-point*. The mid-point is