freeze;
 
declare verbose SupersingularModule, 2;   
