typedef float float4;

int a();

int main() {
  float4 f = 4.0f;
  // break here
  return a(); 
}