In fact, it's specified in RFC1122:
3.2.2.6 Echo Request/Reply: RFC-792
Every host MUST implement an ICMP Echo server function that
receives Echo Requests and sends corresponding Echo Replies.
I think it implies that the implementation should actually work. :)
--Norbert