pub fn dump_options(options: &str) -> (String, bool)
CEE3DMP’s options: the ddname FNAME names, and whether any keyword was not one it takes.