Edited protocol_std