HACC 1.3; hacc_tpm_inst