in core/rust1.34/compile.py [0:0]
def write_file(file, body): os.makedirs(dirname(file), mode=0o755, exist_ok=True) with open(file, mode="w", encoding="utf-8") as f: f.write(body)