void dump_array(var)
mixed var

Dumps a variable with write() for debugging purposes. This function is defined
in simul_efun.c
