Users being followed by mockturtle