t1140: run state.highstate in bpp ui