public static int sysPthreadJoin(int pthread) { return 0; }
public static int sysPthreadJoin(int pthread) { return VM_SysCallMagic.sysPthreadJoin(VM_BootRecord.the_boot_record.sysPthreadJoinIP, pthread); }
  public static int sysPthreadJoin(int pthread) { return 0; }