@item check that @file{stdout} and @file{$3} are not written simultaneously
@item check that generated target was not modified "externally" outside
the redo, preventing its overwriting, but continuing the build
@item check that @file{stdout} and @file{$3} are not written simultaneously
@item check that generated target was not modified "externally" outside
the redo, preventing its overwriting, but continuing the build