INCLUDE "lib.cps"
OUTPUT Broken()