$def with (example, name)
$:example