//! no-run: runtime

main() {
    assert(false, 42);
    return;
}