Global variables in HAL, a logic implementation