#lang typed/racket (require "hmac.rkt" "whirlpool.rkt" "salsa-chacha.rkt") (provide hmac whirlpool salsa20)