Definition bar := 99.

Canonical Structure bar.