localoptions defs and get_from_disk uses it.