string(half(-1))
