text: /*
   * Copyright (c) 2012-2019 SoftBank Robotics. All rights reserved.
   * Use of this source code is governed by a BSD-style license that can be
   * found in the COPYING file.
   */
  #include <b.h>
  int b() { return 0; }
  