bit func(bit x, bit y);