Fix declare.rkt