program = map() -> bool [ writeChar (7) ]