Adds start of stored procedures to record_keeper and corresponding spec.