15 /* at most 2^17 fat pointers */