static assert ok