Not necessary: codelet.symbols is {} by default.