void DisplayFlippedRobot(gfx_sprite_t* flipped_robot) {
	gfx_Sprite(flipped_robot, 11, 11);
}

void main(void) {
	gfx_Begin();
	gfx_sprite_t* robot;
	gfx_sprite_t* robot_flipped;
	gfx_FlipSpriteX(robot, robot_flipped);
	DisplayFlippedRobot(flipped_robot);
	gfx_End();
}