def do_extract(marfile, destdir, decompress):
with open(marfile, '<STR_LIT:rb>') as f:<EOL><INDENT>with MarReader(f) as m:<EOL><INDENT>m.extract(str(destdir), decompress=decompress)<EOL><DEDENT><DEDENT>
Extract the MAR file to the destdir.