type :t = align 8 {16}