Sì ... formalmente sono tutte funzioni, ma "assumere" che le funzioni void "equivalgono" alle "procedure" di altri linguaggi, è tollerabile ...