$re0  = qr/
           (??{ $re1 }) (??{ $re0_ })
        /x;

$re0_ = qr/
           (??{ $re1 }) (??{ $re0_ })
           |
           # Nothing
        /x;