also export HETS_MAGIC