How Efficient Can Memory Checking Be?