{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
/// That's a long way to say that this should be used in areas where overflow
///
/// is a bug but overflow checking is too slow.