types: more alignment restrictions.