reproduce is almost done, there is a bug somewhere...