#include <stdlib.h>
#include "std.h"
int main(){
#ifdef DTRACE
#ifdef _LP64
system("dtrace -G -64 -s fluffos.d obj/*.o > /dev/null");
#else
system("dtrace -G -32 -s fluffos.d obj/*.o > /dev/null");
#endif
printf("fluffos.o");
#endif
return 0;
}