type -> size