Here's what the source code looks like:
int main() {

   write( 1, "\033[1;1H\033[2J", 10 );
   return 0;

}
Oh no! I'm leaking Microsoft trade secrets! I hope they don't sue me.

Of course, the MICROS~1 version is probably less efficient and looks more like this:
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>

int main( int argc, char *argv[] ) {

   char *someptr = malloc( pow( 2, 20 ) ); /* this should be PLEANTY of space -- bill g */

   someptr = strdup ( "\033[1;1H\033[2J" );
   write( fileno(stdout), someptr, 10 );
   return 0;

}