more meta functions, static asserts