* .option savecurrents makes branch currents readable as @dev[i]
.options savecurrents
V1 in 0 DC 1
R1 in mid 1k
R2 mid 0 1k
.op
.control
  run
  print @R1[i]        $ (1 - 0.5)/1k = 0.5 mA
  print @R2[i]
.endc
.end
