def generate_random_name(size=<NUM_LIT:8>, chars=string.ascii_lowercase + string.digits):
return '<STR_LIT>'.join(random.choice(chars) for _ in range(size))<EOL>
Create a random name to assign to a node