Running Bitcoin with Hal