/* called by main() at boot time */