Symbol: write_int_to_fd