F403: unable to detect undefined names