7.12 Core types