Hey Mike! Are there any known examples of Nick Szabo's code anywhere?