import from borel

See also https://github.com/anchor/borel/pull/92