. . . "On page 308, it says "The default-init is a form that is evaluated" .