void write_buffer_sync(Playback3DCommand *command);
void draw_output(Playback3DCommand *command, int flip_y);
void clear_output_sync(Playback3DCommand *command);
void write_buffer_sync(Playback3DCommand *command);
void draw_output(Playback3DCommand *command, int flip_y);
void clear_output_sync(Playback3DCommand *command);