def file_Read(string file) string {}
def file_Write(string file, string content) {}

ground {
    extern "fileio"
}