explicit type sizes