{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
///     |---------------|         |        |--------------------------|
///     |     ...       |         /------> |            BBC           |
///     |  switchInt(Q) |         |        |   _cl = discriminant(P)  |