Read a checkpoint from disk into an existing module.
static void loadIntoFile(Module module, String path) { final bytes = File(path).readAsBytesSync(); loadIntoBytes(module, bytes); }