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