annotated limit() dos example