Anything less than being able to track memory lifetime at compilation is GC.

Some folks will jump up and down and say "variable sized allocation is sloppy!"

GC is a spectrum on which reference counting lives. Is there an arch that supports bidirectional references?