Core stacks are generated for the first time with def.