5.7 The primary constructor