proc close(this: SDFile) {....raises: [IOError], raises: [], tags: [RootEffect],
                           forbids: [].}

proc exists(this: ptr PlaydateFile; path: string): bool {....raises: [],
    tags: [RootEffect], forbids: [].}

proc flush(this: SDFile): int {....raises: [IOError], discardable, ...raises: [],
                                tags: [RootEffect], forbids: [].}

proc listFiles(this: ptr PlaydateFile; path: string; showHidden: bool = false): seq[
    string] {....raises: [IOError], raises: [], tags: [RootEffect], forbids: [].}

proc mkdir(this: ptr PlaydateFile; path: string) {....raises: [IOError],
    raises: [], tags: [RootEffect], forbids: [].}

proc open(this: ptr PlaydateFile; path: string; mode: FileOptions): SDFile {.
    ...raises: [IOError], raises: [], tags: [RootEffect], forbids: [].}

proc read(this: SDFile): seq[byte] {....raises: [IOError], raises: [],
                                     tags: [RootEffect], forbids: [].}

proc read(this: SDFile; length: uint): tuple[bytes: seq[byte], length: int] {.
    ...raises: [IOError], raises: [], tags: [RootEffect], forbids: [].}

proc readString(this: SDFile): string {....raises: [IOError], raises: [],
                                        tags: [RootEffect], forbids: [].}

proc rename(this: ptr PlaydateFile; fromName: string; to: string) {.
    ...raises: [IOError], raises: [], tags: [RootEffect], forbids: [].}

proc seek(this: SDFile; pos: int; whence: int) {....raises: [IOError], raises: [],
    tags: [RootEffect], forbids: [].}

proc stat(this: ptr PlaydateFile; path: string): FileStat {....raises: [IOError],
    raises: [], tags: [RootEffect], forbids: [].}

proc tell(this: SDFile): int {....raises: [IOError], raises: [],
                               tags: [RootEffect], forbids: [].}

proc unlink(this: ptr PlaydateFile; path: string; recursive: bool) {.
    ...raises: [IOError], raises: [], tags: [RootEffect], forbids: [].}

proc write(this: SDFile; buffer: seq[byte]; length: uint): int {.
    ...raises: [IOError], discardable, ...raises: [], tags: [RootEffect], forbids: [].}

proc write(this: SDFile; content: string): int {....raises: [IOError], discardable,
    ...raises: [], tags: [RootEffect], forbids: [].}