type uint8_t = int

fun lcd_init() returns ()
fun lcd_write(info:uint8_t) returns ()
fun lcd_cmd(cmd:uint8_t) returns ()
fun lcd_char(char_data:uint8_t) returns ()
fun lcd_string (lstring:string; line:int) returns ()
fun lcd_int (numb:uint8_t; line:int) returns ()
fun dread(buttonpin: int) returns (v : int)
fun dwrite(p:int; v:int) returns ()