You can find RmtExec() in the WSHPipe() UDF thread.

Push file can be found here.