mdb_conf_platform
return (mdb_conf_platform());
arg_p.a_un.a_str = mdb_conf_platform();
extern const char *mdb_conf_platform(void);
return (mdb_conf_platform());
.t_platform = (const char *(*)())mdb_conf_platform,
.t_platform = (const char *(*)())mdb_conf_platform,
.t_platform = (const char *(*)())mdb_conf_platform,