spin export syntactically correct