options_from_user
|| !options_from_user())
int options_from_user(void); /* Parse options from user's .ppprc */
