zei4asl43rcbc - execution time: 0.766 sec.