Re: [Hackage] #504: executables with a C main function