Add dasmgt.h