while ($dev == TRUE) {