static public void init()
{
AuthTicket_Req = PoirotMain.Nondet.AuthTicket_Req();
AuthTicket_Req.permissions = PoirotMain.Nondet.Permissions();
AuthTicket_Req.permissions.permissionSet = PoirotMain.Nondet.HashSet();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RS = new For_vProgram();
}
static public void init()
{
AuthTicket_Req = PoirotMain.Nondet.AuthTicket_Req();
AS = new AuthorizationServerImpl(); ((AuthorizationServerImpl)AS).init();
RS = new For_vProgram();
}