use std

pkg sdl =
    const INIT_VIDEO : uint32 = 32
    
    extern const init : (flags : uint32 -> int)
    extern const quit : (-> void)

    type win = void#

    const WIN_POS_UNSPEC : int = 536805376
    const WIN_OPENGL : uint32 = 2

    extern const mkwin : (title : byte#, x : int, y : int, w : int, h : int, flags : uint32 -> win)
    extern const freewin : (win : win -> void)

    type renderer = void#

    const RENDERER_ACCEL : uint32 = 2

    extern const mkrenderer : (win : win, index : int, flags: uint32 -> renderer)
    extern const copy : (r : renderer, tex : texture -> int)
    extern const present : (r : renderer -> void)
    extern const freerenderer : (r : renderer -> void)

    type texture = void#

    const PIXFMT_RGB332 : uint32 = 336660481
    const TEXACCESS_STREAM : int = 1

    extern const mktexture : (r : renderer, fmt : uint32, access : int, w : int, h : int -> texture)
    extern const update : (tex : texture, pixels : void#, pitch : int -> int)
    extern const freetexture : (tex : texture -> void)

    extern const delay : (ms : uint32 -> void)
;;