<?php // x3.php
	dl("x3.so");
	echo foobar();
?>