A tiny random token generator