tree 1419e62a9b956b32333e076328428ce172a3b8cd
parent 9f39c2f5564bbe16bc74776f73f8425a7ee1d3f9
author erfanian <erfanian@google.com> 1509572868 -0700
committer zachh <zachh@google.com> 1510357223 +0000

Set the ceiling at O.

Test: no
PiperOrigin-RevId: 174239092
Change-Id: I6672c5b0a41df6426b527d1565f0cb216dc82917