Initial libtomcrypt formula