Pepper steaks with pumpkin mash

Ingredients

• 1.5 kilogram butternut pumpkin, chopped coarsely
• 60 gram butter
• sea salt flakes and freshly ground black pepper
• 1 tablespoon cracked black peppercorns
• 1 kilogram sirloin steaks (or scotch fillet or rump)
• 1 tablespoon olive oil
• 350 gram green beans, trimmed
• 1 bunch broccolini, trimmed
• 1 clove garlic, crushed
• 3/4 cup (180ml) beef stock
• 1 teaspoon cornflour
• 1/3 cup (80ml) cream