<?php
header("Content-type: text/plain;");
$s='<?php
header("Content-type: text/plain;");
$s=\'%s\';
printf($s, str_replace(array("\\\\", "\'"), array("\\\\\\\\", "\\\'"), $s));';
printf($s, str_replace(array("\\", "'"), array("\\\\", "\'"), $s));