Implemented static assert