/* getpid.c 4.1 82/12/04 */

#include "SYS.h"

SYSCALL(getpid)
	ret		# pid = getpid();