qcheck 0.2 (merge with gasche's generator)