path: root/rts/mmtk/mmtk-ghc.c

#include <stdio.h>

#include "mmtk-ghc.h"

void mmtk_ghc_init() {
    printf("hello world\n");
}