macro table for expl. instantiations