Don't print debug info.
Semantic checks stubs.