add static assert example