tree 90bf049833f3fbbb0521429f26d9d2be4506ee5e
parent ccf21c139ca754f82e87c1e3389a9ea52506fb81
author Alon Zakai <azakai@google.com> 1598043112 -0700
committer Alon Zakai <azakai@google.com> 1598043112 -0700

use Fatal(), avoid abort()