@transcript
load "QCheck";
QCheck.pred;
@end transcript