document gmi_null.h