this is actually `set_format_version`, since it doesn't return anything...