void main() { 0.5 - 0 * ~0 - half2(0) + 1; }