Stubs for semantic checking. A little rearraning of declarations for readability.