#-----------------------------------------------------------------------------
# Flex (currently unused, could be moved to glafp-utils)
#-----------------------------------------------------------------------------
# Flex (currently unused, could be moved to glafp-utils)