#!/usr/bin/php
<?php
var_dump($argv);
var_dump(file_get_contents('php://stdin'));
echo trim(preg_replace("/\n\s+/", " ", 123)) . "\n";
?>