Creating a HOL record for an ACQ-created PROVISIONAL SERIALS record