From a76a1a698b333bd1ddfd549293e8fad926d38878 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Tue, 19 Sep 2023 09:10:50 -0700
Subject: [PATCH] Reduce code duplication (#212)