fixing driver example to include defpackage (clears up any confusion about symbol naming hopefully)