FW: Validating a program