{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"SubWithOverflow,"}]}
    SubWithOverflow,
    /// and a bool indicating whether it overflowed.
    /// The `*` operator (multiplication)