/* Startup options */
extern int opt_clk_tck;
extern mode_t opt_stat_mode;