Me Here Wrote: > Lookup Curry-Howard isomorphisms. Hmm... I don't understand. It's uncommon for C programmer to call compiler silly just because it odesn't want to dance for him. Or it were very fast and short moves through?..