Finish main() to generate the interface file