Meta programming: Static assert