Export of services subject to zero rate under the revenue code