uncommented declaration of missing module