[TUHS] .globl directive -- is this a 35-bit constant?