name: cfe-proof
depend: standard-library
include: src
flags: --safe --without-K