Verified
User programs communicate with an operating system and request services from it by system call. The cause of system call is to request the operating system to perform some task. Every system call contain a library procedure that a user program call.