pub const VA_PC_CIPHER_AES: u32 = 1;