(((defined abs)))