more on platform_lib