mutable
plugins : (string*
'
a) list = []