program = map() -> void [ print_char (7) ]