removed argc argument from kernel