PRA prcd A, frei ;
PL 0/0