int_dotimes