Is this (global) variable actually used?