double lfsr258 (void);