Rename fletch -> dartino

src/vm/ffi_test_library.c

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 // Testing library for testing the foreign function interface.
 // There are no tests in this file, but we keep this to have a single place
 // for functionality that we want to test in the FFI implementation.
 
 #include <errno.h>
 #include <string.h>
 #include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
 #include "ffi_test_library.h"
 
 // Copied from globals.h to have consistent values
 // TODO(ricow): we could split globals into a c only part and a c++ part.
 typedef signed char int8;
 typedef short int16;  // NOLINT
 typedef int int32;
 
 typedef unsigned char uint8;
 typedef unsigned short uint16;  // NOLINT
 typedef unsigned int uint32;
 
-#ifdef FLETCH64
+#ifdef DARTINO64
 typedef long int64;  // NOLINT
 typedef unsigned long uint64;  // NOLINT
 typedef char foobar;
 #else
 typedef long long int int64;  // NOLINT
 typedef long long unsigned uint64;
 typedef int foobar;
 #endif
 
 void setup() {
@@ skipping 312 matching lines @@
 int bufferWrite(char* buffer, int value) {
   uint32_t* size_pointer = (uint32_t*)(buffer + kSizeIndex);
   uint32_t size = *size_pointer;
   int* head_pointer = (int*)buffer;
   int head = *head_pointer;
   char* value_pointer = buffer + kDataIndex + head;
   *value_pointer = value;
   *head_pointer = (head + 1) % size;
   return value;
 }