Automatically extracted from a module checked by a user of the Asnp syntax-checking tool
Rocco Sileno