halt with optional message?

[Timon Gehr]

bearophile wrote:
> void foo() pure {
>     puts("message");
>     assert(0);
> }

BTW, that that function is any less pure than

void foo() pure {
    assert(0);
}

Is imho just a QOI issue.