Writes a 32-bit integer to a file. Takes a file handle and a 32-bit signed integer value. Returns nothing (void).
fileHandle
Int
value
Int
; No example implemented yet