INCLUDE "lib.cps"
OUTPUT 7