Edited protocol_std.h