Whitex compilation