Use `u64` in place of `jit_label_t` in `label.get_value()`