complete FileWrite.v(version) Debug.c/h