Regular_language loading ...