this is a project about generating some random protocols