depend on mirage-types which contains entropy