add static asserts