void main()
{
  float[a+++4 ? 1:1] f;
}