Added sys_getptable(void)