static assert