s32 File::write_tagged_end(const char * filename, s32 lineno) { s32 r = 0; r = write(" //gcnl:"); r = write(filename); r = write(":"); r = write_decimal(lineno); r = write("\n"); return r; } //write_tagged_end
void write_i (st_parameter_dt *dtp, const fnode *f, const char *p, int len) { write_decimal (dtp, f, p, len, (void *) gfc_itoa); }