Amending commit c55ce4f0e98340948178a10982e9a78119bf6dc4. Why did gcc not complain about the different signatures? Who knows...