A hula hooper name generator in Hoplon