#include "symbol-list-lines.h"

int main(void) {
  int x = GetZero();
  return 0;
}