Forgot to special-case debugging get_val, which just returns the real current value, regardless of other events in system.