Thanks to #173, we can actually do random state 444 on phones now!