made checkarg a kernel provided function again after all; cleaned up some
4 files changed