playing with static assert, now defined in C