/*
 * This file can be included together with the tests to check that
 * the backend can generate an executable correctly (or just to avoid
 * error messages from the linker).
 */

// ctrans doesn't yet handle "byte[]^[]^ argv" correctly
linkname "main" int main(int argc, byte^^ argv) {
    return 0;
}