* rkt/sec-05/hw4.rkt: