@@ new with arbitrary alignment

%% Does not work if thread is not the most derived type. See 12.7.5.
