33c33
< def __init__(self, slicc, type_ast, ident):
---
> def __init__(self, slicc, type_ast, ident, pointer = False):
36a37
> self.pointer = pointer
53c54,58
< code += "%s* %s" % (type.c_ident, ident)
---
> if self.pointer or str(type) == "TBE" or (
> "interface" in type and type["interface"] == "AbstractCacheEntry"):
> code += "%s* %s" % (type.c_ident, ident)
> else:
> code += "%s %s" % (type.c_ident, ident)