Prefixed symbols for safety, necessary due to lexical scoping