/* this file is for functions that produce an output */

/* set up registers etc for LEDs and Laser */
void initialise_output(void);

/* turn laser on and off, and adjust brightness */
void set_laser_brightness(void);

/* write the four chars from text to the display,
 optionally inverted */
void write_display(char* text, unsigned char invert);

/* set brightness of the display; will act on next write_display*/
void set_display_brightness(void);