export async function postcondition({read, assert}) {
    const text = await read(filename);
    assert(text === format(text));
}