nuke2[] := Module[{r, ra, s}, Clear[bz, b3]; {s, ra} = {b3, bz} /. ps; 
      If[s == 0, Goto[o2]]; 
      r = nuke2$function$needs$that$b3$is$defined$and$vanishing; Goto[o3]; 
      Label[o2]; r = nuke2vs[ra]; Label[o3]; Return[r]; ]
 
nuke2vs[b3w_] := Module[{z, w}, z = Max[0, bz - 1/3]; 
      w = {1/3 - z/2, 1/3 - z/2, 1/3 + z}; Return[w]; ]