def encode_file(source, destination, major, minor):
    'Encrypt a file from source to destination.'
    _check_major(major)
    _check_minor(minor)
    map_1 = _encode_map_1(major)
    map_2 = _encode_map_2(minor)
    string = source.read(2 ** 20 / 5)
    while string:
        destination.write(_encode(string, map_1, map_2))
        string = source.read(2 ** 20 / 5)
Encrypt a file from source to destination.
recipes/Python/572159_SPICE/recipe-572159.py