prefixing symbols to avoid name clashes (closes #29)