Miscellaneous Harp-compiled stuff