Update non_mgen_ifcs.md