#include <stdio.h>

void print_head(void)
{
  printf("/*\n");
  printf(" * Generated by mk_thread\n");
  printf(" */\n");
  printf("\n");
  printf("#ifndef __UM_THREAD_H\n");
  printf("#define __UM_THREAD_H\n");
  printf("\n");
}

void print_constant_ptr(char *name, int value)
{
  printf("#define %s(task) ((unsigned long *) "
	 "&(((char *) (task))[%d]))\n", name, value);
}

void print_constant(char *name, char *type, int value)
{
  printf("#define %s(task) *((%s *) &(((char *) (task))[%d]))\n", name, type,
	 value);
}

void print_tail(void)
{
  printf("\n");
  printf("#endif\n");
}
