function main() {
  assert(true);
}