our $re;
  $re = qr{(?:0(??{$re})1)?};
  /^$re\z/;