<?php // x4.php
  dl("x4.so");
  echo foobar("Go! ", 3);
?>