SYNOPSIS
        int write_file(string file, string str)

BESCHREIBUNG
        Haengt den String <str> an die Datei <file> an. Liefert 1 bei Erfolg,
        0 bei Misserfolg.

SIEHE AUCH
        file_size(E), cat(E), write_bytes(E), read_file(E), rm(E)
