{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
    // Create the set of choice regions: each region in the hidden
    // type can be equal to any of the region parameters of the