Running doctests is not currently supported by Miri.