hi @awsaba,

I have found the bug in 
  static void key_128_init(vmi_instance_t vmi, key_128_t key, uint64_t low, uint64_t high);
I will fix it immediately.