else in stdlib