MikTeX is _not_ based on web2c Christian wrote his own web-to-c conversion programs, likewise his own kpathsea-equivalent. He talks about it (in his usual extremely laconic fashion) in his interview, http://tug.org/interviews/interview-files/christian-schenk.html.