Roundtrip of HSE tokens works. Time for allocTokens