proc createWindow(title: string): NativeWindow {....raises: [Exception], tags: [],
    forbids: [].}

proc destroy(window: NativeWindow) {....raises: [Exception], tags: [], forbids: [].}

proc destroyVulkan() {....raises: [Exception], tags: [RootEffect], forbids: [].}

proc destroyWindow(window: NativeWindow) {....raises: [Exception], tags: [],
    forbids: [].}

proc fullscreen(): bool {....raises: [], tags: [], forbids: [].}

proc getMousePosition(window: NativeWindow): Vec2i {....raises: [], tags: [],
    forbids: [].}

proc initVulkan(appName: string = "semicongine app"): VulkanObject {.
    ...raises: [Exception, OSError, KeyError], tags: [RootEffect, WriteEnvEffect],
    forbids: [].}

proc maxFramebufferSampleCount(maxSamples = VK_SAMPLE_COUNT_8_BIT): VkSampleCountFlagBits {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc pendingEvents(window: NativeWindow): seq[Event] {....raises: [], tags: [],
    forbids: [].}

proc setFullscreen(enable: bool) {....raises: [Exception], tags: [RootEffect],
                                   forbids: [].}

proc setFullscreen(window: var NativeWindow; enable: bool) {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc setMousePosition(window: NativeWindow; pos: Vec2i) {....raises: [], tags: [],
    forbids: [].}

proc setTitle(window: NativeWindow; title: string) {....raises: [], tags: [],
    forbids: [].}

proc showSystemCursor(value: bool) {....raises: [Exception], tags: [], forbids: [].}

proc showSystemCursor(window: NativeWindow; value: bool) {....raises: [Exception],
    tags: [], forbids: [].}

proc size(window: NativeWindow): Vec2i {....raises: [], tags: [], forbids: [].}