Symbol: HBA_INT32