public class CRC extends cterm { public double val; public CRC(double v) {val=v;} }