consp command working with export