Norm_residue_symbol loading ...