System Boundaries and Interfaces

If possible, make sure your code agrees on the interpretation of what variables mean what according to whom. Rethinking, looks like a renaming bug?

list.cons v2 v0 = v2;

Found it. Safe in LC, but cannot be translated directly.

Too bored to fix bugs?