01.04. Submitting Tests in TICFP