Checkpoint progress towards translating pprog language to a language with only disk operations.
Checkpoint progress towards translating pprog language to a language with
only disk operations.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl