Since SE 253 was not assigned a process identification number, however, neither ATM 240 nor ATM IF 242 knows if it exists.
ATM IF 242 knows it needs to communicate with SE 253 but does not know that device driver 248 controls SE 253.