actually, to run example we need mirage