<?php
	/**
	 * Compile                : 'kompile php.k'
	 * Execute (no config)    : 'scripts/kphp hello-world.php'
	 * Execute (config)       : 'scripts/kphp hello-world.php --config'
	 */

	$name = "kphp";
	echo "Hello world!\n";
	echo "This is $name\n";

?>
