This variable is not declared anywhere. Do we want it to be global?