produces:
eucrypt_check_nread
(eucrypt) eucrypt/README
consumes:
eucrypt_ch13_smg_rng
(eucrypt) eucrypt/README