globalState: GlobalState = ...