PASS	function placeholders = 7
PASS	tool placeholders = 10
PASS	function values = 11
PASS	tool values = 14
PASS	old function contract absent
PASS	old tool contract absent
PASS	Magdalena runtime loaded by bootstrap
PASS	Magdalena page has direct recovery loader
PASS	old upgrade route repaired
PASS	dedicated repair route exists
SUMMARY 10/10 PASS