/* 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;
extern uid_t opt_anon_owner;