explicit cursor annotations