const declarations works in checker.