interpretation( 16, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

        function(g(_), [0,1,2,3,11,10,9,7,8,6,5,4,12,13,14,15]),

        function(f(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  1,0,3,2,5,4,8,9,6,7,11,10,13,12,15,14,
			  2,3,0,1,6,8,4,10,5,11,7,9,14,15,12,13,
			  3,2,1,0,7,9,10,4,11,5,6,8,15,14,13,12,
			  4,5,6,8,12,13,14,3,15,2,1,0,11,10,9,7,
			  5,4,7,9,13,12,3,14,2,15,0,1,10,11,8,6,
			  6,7,4,10,14,3,12,13,1,0,15,2,9,8,11,5,
			  7,6,5,11,15,2,1,0,12,13,14,3,8,9,10,4,
			  8,9,10,4,3,14,13,12,0,1,2,15,7,6,5,11,
			  9,8,11,5,2,15,0,1,13,12,3,14,6,7,4,10,
			  10,11,8,6,1,0,15,2,14,3,12,13,5,4,7,9,
			  11,10,9,7,0,1,2,15,3,14,13,12,4,5,6,8,
			  12,13,14,15,11,10,9,8,7,6,5,4,0,1,2,3,
			  13,12,15,14,10,11,7,6,9,8,4,5,1,0,3,2,
			  14,15,12,13,9,7,11,5,10,4,8,6,2,3,0,1,
			  15,14,13,12,8,6,5,11,4,10,9,7,3,2,1,0])
]).