{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"else"}]}
            else if width == 128 {
            }
                // Algorithm from: https://stackoverflow.com/a/28433850/389119