semantic: Simple static assert handling.