add GC optimizations to specs