examples
vardef
