Work on FreePlatformState