Validation status of GNU Pascal