void main()
{
    char[] s = "";
    assert(s);
}