top-level variable declarations (globals)