Testing divmod