<?php

go(function($e) {
	exit($e);
}, "exited go()\n");

echo "end\n";