Add lib stub
Working DifDiv