function should_return_nothing(): void
{
    // Fatal error: A void function must not return a value
    return new Elephpant;
}