Interesting. I assume the resulting files are binary compatible [identical?] to the defining implementation in C.