It could be a fun exercise to add invisicaps to something like chibicc/slimcc.

It leaves room for experimentation with reference counting and variations on the invisible capability system which could provide memory savings at the expense of some extra indirection.