fn op_f64_buf(buffer: &mut [f64]) {
  // @test-attr:fast
}