Type checks in os.run