However you cannot use it as a general purpose implementation.

miri is godawful slow though