Racket:  + module_contract_test