According to the C standard,
it is desirable to give the type 'void'
to functions have no argument.

Closes #1631