(loadw value bsp-tn (- binding-value-slot binding-size))
(inst stwx value thread-base-tn tls-index)
(storew zero-tn bsp-tn (- binding-symbol-slot binding-size))
(storew zero-tn bsp-tn (- binding-value-slot binding-size))
(loadw value bsp-tn (- binding-value-slot binding-size))
(inst stwx value thread-base-tn tls-index)
(storew zero-tn bsp-tn (- binding-symbol-slot binding-size))
(storew zero-tn bsp-tn (- binding-value-slot binding-size))