ufixed32x1 constant x = ufixed32x1(uint8(0));
fixed32x1 constant y = fixed32x1(uint8(0));