Configuration language guaranteed to terminate
