backend_get_opaque_double_value
void backend_get_opaque_double_value(void);
{ "backend_get_opaque_double_value", backend_get_opaque_double_value },