finished generic8 rewriting. But there is an error in header include sequence