encoding declaration for convert_spec