p4c stepping