options OK, but with violation of const. (mem_free_set)