[numthreads(1, 1, 1)]
void f() {
  const float16_t r = float16_t(3.0h);
  return;
}