Migrating over to Non-global state in Klein