I'm not so sure it's easy to represent the exact behavior of a complex system.
What would your estimate be to: "rewrite facebook in language L, with the same behavior, bugs and all".
What would your estimate be to: "rewrite facebook in language L, with the same behavior, bugs and all".