*! version 1.0.1 Tue Feb 23 07:40:48 PST 1993
program define typeof
	version 3.0
	local type : type `1'
	assert "`type'" == "`2'"
end