echo Defining v as print command for giac types\n
define v
print ($arg0).dbgprint()
end
