An implementation of the processor-specification "HC1"