declare interface RGBA {
	__brand: "RGBA"
}
declare interface FilePtr {
	__brand: "FilePtr"
}
declare interface GRRLibTexture {
	__brand: "GRRLibTexture"
}
declare interface Pipe {
	top_y: number
	bottom_y: number
	position: number
	time_active: number
};

declare namespace wii {
	function print(message: string): void
	function exit(): void
	namespace pad {
		function buttons_down(): number
	}
	namespace grrlib {
		function load_texture(file: FilePtr): GRRLibTexture
		function fill_screen(color: RGBA): void
		function draw_img(xPos: number, yPos: number, texture: GRRLibTexture, degrees: number, scaleX: number, scaleY: number, color: RGBA): void
		function rectangle(x: number, y: number, width: number, height: number, color: RGBA, filled: bool): void
	}
	function get_file(filename: string): FilePtr
	function get_deltatime(): number
	function rgba(r: number, g: number, b: number, a: number): RGBA
	function compare_rgba(color1: RGBA, color2: RGBA): boolean
}