Checking prototypes