swi+_export/1