Added he_proto, at initial prototype stage, no correctness testing yet.