ATS-paremit: adding dynload0 support.