#include "header.h" do_close() { sys_close( codefile); }