/* Startup options */
extern int opt_clk_tck;
extern mode_t opt_stat_mode;
extern pid_t opt_fake_self;
extern pid_t opt_kernel_pid;