// TODO: use random_string
#define RANDHEXSTRING sprintf("%x", random(Int.NATIVE_MAX))