Exporting restCode lens