Concrete Core Testing Is Code