Return unbounded RegValue in ThreadContext