/*
 * File: 
 * Author: 
 * Created: 
 */

new h,h1,h2:
(	ness?y1.ness?y2.0 |
    (
		h1!ness. h1?x1.STOP |
		h2!ness. h2?x2.STOP
	) |
	h1?addr1.(
		h!h1. h1!done.STOP
		+
		h?another1. addr1!h1. addr1!another1. h1!done.STOP
	) |
	h2?addr2.(
		h!h2. h2!done.STOP
		+
		h?another2. addr2!h2. addr2!another2. h2!done.STOP
	)
);