An example Haxfred implementation