williamr@0: stl_user_config.h