type uint8_t = int

fun dinit() returns ()
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:uint8_t) returns ()