extern void lap_init (void);