Ensuring unique proctypes