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