R=titzer@chromium.org

Change-Id: Ib3b1cd479b42865420879bff9f1a83558585eb05
Reviewed-on: https://chromium-review.googlesource.com/c/1303301
Commit-Queue: Clemens Hammacher <clemensh@chromium.org>
Reviewed-by: Ben Titzer <titzer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#57072}