do not mix declarations and code (pedantic C)
use fputs instead of fprintf because of security (cont.)
64-bit compatibility: use XtPointer instead of int
use puts instead of printf because of security (cont.)