updating protocol spec and random_pc accordingly