tutorials:library:smt:fridge.html [AdaWiki]