bearophile wrote: > (That is to allow to specify a list of what to be safe of, at the top > of the module?) A possible syntax: module(safe1, safe2, ...) > Identifier; I suggest seeing how things go with just module(System) for now. It may prove to be plenty adequate.