Merge branch 'jk/tighten-alloc'