HDF$ (Explicit)

Highdef$ (Explicit)