<div>The nobuiltin attribute was being ignored when optimizing calls to memory builtins. Patch OK to commit?</div>