> the C or C++ files generated by ctangle are really indistinguishable from human-written code The C or C++ files are typically pretty easy to distinguish from

> the C or C++ files generated by ctangle are really indistinguishable from human-written code The C or C++ files are typically pretty easy to distinguish from code written by normal human beings (no comments, weird formatting, etc.; more ambiguously, LP tends to produce larger functions/methods because you can break things out as LP sections rather than using the facilities of the underlying language), but there wouldn't be any sign of that in the object code. (Not even the larger functions, necessarily, since the compiler could inline them.)