procedure main(){
	printmodels(onemodel(T,S,Vout))
}