Precise Mark-Compact GC