toast_resource
toast_resource(ipeer, ic);
toast_resource(apeer, ac);
toast_resource(apeer, deleg);
toast_resource(clients[i], hCred);
toast_resource(c, clientC);
toast_resource(c, serverC);
toast_resource(c, delegCred);
toast_resource(c, clientC);
toast_resource(c, serverC);
toast_resource(c, delegCred);
toast_resource(c, hCred);
toast_resource(client, clientC);
toast_resource(server, serverC);
toast_resource(client, hCred);
toast_resource(client, hCred);