x :- 3 + 4 - (3 + ((-3--b-5)+6++8)---+a+-4); main :- fn () { };