{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // To implement saturation, we perform the following steps:
        // 1. Cast val to an integer with fpto[su]i. This may result in undef.