function crash() = crash();
echo(crash());