Без заголовка

Да. Причем для работы с памятью это сейчас было бы очень актуально - например для реализации функциональных языков, сборки мусора. К примеру в заголовке объекта можно помещать специальный тэг, указывающий, что объект перемещен (а далее -новый адресс). Если это реализовывать на уровне софта - требует много ресурсов каждый раз проверять и переадресовывать. А на уровне железа можно сделать спецаильное ядрышко, которое предвыбирает заголовок объекта, проверяет тэг и переадресует при необхождимости. А ядро с основной программой даже не видит подмены. Таким образом по идее можно вообще (полу)прозрачную сборку мусора сделать.