Added exportAndCallDotty