None
? (CLITERAL(ret_t){.tag = None}) \
.tag == None) {
.tag == None) {
.tag == None) {
.tag == None) {
.tag == None) {
.tag == None) {
.tag == None) {
.tag == None) {
if (!(uu____0.tag == None)) {
case None: