set_platform_defaults
if (&set_platform_defaults)
set_platform_defaults();
extern void set_platform_defaults(void);