taglinefilesource code
ok_pgid502kernel/sys.cgoto ok_pgid;
ok_pgid507kernel/sys.cok_pgid: