add static assert