A normally exiting PHP script will exit with error code 0 by default, so
we don't need to explicitly call it in run()