chiark / gitweb /
Error handling: Provide err and ddbl_only, and an internal spec