Import from burrito

Fixes #40.