“Should” statements are different from “is” statements - I would not expect them to compile.