Constant ML_KEM_512_PUBLIC_KEY_LENGTH 

const ML_KEM_512_PUBLIC_KEY_LENGTH: usize = 800;