static assert
static assert