binary.rkt 444 Bytes