do we ever mention in the book that

class Book {
int x, y;
}

actually has an empty default constructor:

class Book {
int x, y;

Book() {
}
}

this may or may not be important, though i had to explain to a student
where the constructor idea came from at all, since it was quite foreign
that it was an "optional" thing that could be added.