Spec proposal for scanning/marking of linear memory GC roots - View it on GitHub