write(_ Int, _ Pointer, _ Int) -> Int { return 0 }