// xfail-boot// xfail-stage0// xfail-stage1// xfail-stage2fnstart(chan[chan[str]]c){letport[str]p=port();c<|chan(p);autoa<-p;// auto b <- p; // Never read the second string.}fnmain(){letport[chan[str]]p=port();autochild=spawn"start"start(chan(p));autoc<-p;c<|"A";c<|"B";yield;}