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