interface IHDMKG {
        method get_nonce(out uint32 ret, in buffer caller_ta_name, in uint32 operation, out uint32 value);
        method get_status(out uint32 ret, in buffer caller_ta_name, out uint32 device_block, out uint32 compromise_block);
};