franca generate to file