double native_double(double value) {
  return value * 2.0;
}