[vardump]

Yeah, luckily I had also an Android flagship device with me. Didn't indeed dare to switch apps at that point!