let _ = CmdLineParser.parse_cmdline [("aes_key_expansion",  X64_AES.va_code_KeyExpansionStdcall); ("gcm_encrypt", X64_GCMencrypt.va_code_gcm_encrypt_stdcall); ("gcm_decrypt", X64_GCMencrypt.va_code_gcm_decrypt_stdcall)]

let _ = CmdLineParser.parse_cmdline [("aes_key_expansion",  X64_AES128.va_code_KeyExpansion128Stdcall); ("gcm_encrypt", X64_GCMencrypt.va_code_gcm_encrypt_stdcall); ("gcm_decrypt", X64_GCMdecrypt.va_code_gcm_decrypt_stdcall)]

Fix typo and use key expansion from X64.AES128 for now
Fix typo and use key expansion from X64.AES128 for now
