proc @variables () (i8$ %out) { %entry: %0 = var i8 store i8 %0 42 %1 = load i8 %0 store i8 %0 9001 %2 = load i8 %0 drv %out %1 1ns drv %out %2 2ns halt }