#include <stdio.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/module.h>

int test_messagepost
(char *s, int syscall_num)
{
  return syscall(syscall_num, s);
}

int main
(void)
{
  unsigned char *s;
  int syscall_num;
  struct module_stat stat;
  int i;

  s = strdup("Testing ecs150");
  stat.version = sizeof(stat);
  modstat(modfind("messagepost"), &stat);
  syscall_num = stat.data.intval;
  printf("s = %s\n", s);
  test_messagepost(s, syscall_num);
}