1*cd60bc56SAndroid Build Coastguard Worker/dts-v1/; 2*cd60bc56SAndroid Build Coastguard Worker 3*cd60bc56SAndroid Build Coastguard Worker/ { 4*cd60bc56SAndroid Build Coastguard Worker prop-div = < (1/0) >; 5*cd60bc56SAndroid Build Coastguard Worker prop-mod = < (1%0) >; 6*cd60bc56SAndroid Build Coastguard Worker}; 7