krasner doctest