char *platform_name(void);
platform_name returns the presentation (human-readable) name of the platform.