Revert "Update run.h"

This reverts commit 8337b5e9002fff59bcbb5662124afc89ce5d32e0.