/* End-user flags. */