Symbol: ATOM_HPD_INT_RECORD_TYPE