After having some problems with type "void", I contacted our local language supporters and found out that the proper use is "void int". Just using "void" is usually OK, but it won't work in some circumstances (i.e. function pointers, etc.).