tomas@670: void main()
tomas@670: {
tomas@670:     char[] s = "";
tomas@670:     assert(s);
tomas@670: }