Symbol: hdr32