// declarations for global variables