Executable code using the date in internal FM format and returning a truth value which checks the validity of the date outside of %DT