L_LINT
L_LINT(time_freq, MAXFREQ);
L_LINT(time_freq, -MAXFREQ);
L_LINT(ftemp, tickrate * 1000);
L_LINT(time_offset, time_monitor);
L_LINT(ftemp, time_monitor);
L_LINT(ftemp, (time_monitor << 4) / mtemp);
L_LINT(time_freq, MAXFREQ);
L_LINT(time_freq, -MAXFREQ);
L_LINT(time_offset, time_monitor);
L_LINT(ftemp, v_nsec);
L_LINT(ftemp, PPS_MAXWANDER);
L_LINT(ftemp, -PPS_MAXWANDER);
L_LINT(pps_freq, MAXFREQ);
L_LINT(pps_freq, -MAXFREQ);