How do you check it is a *user defined* module?