r6040: use __aligned(size)