CSEC CC Checker
INPUT
INITIALIZE
OUTPUT
VALID
INVALID
ALL