filled in decrypto function in decrypto.c