Question about Xiaomi MI Box S

Hello. The question has little to do with the Mi Box S, but which video player is installed on the Android TV Box. VLC, MX Player etc. offer great format support. With VLC, the endless playback of a title can be selected - "Just tap the play/pause button for a long time, that's how you switch the playback mode." With MX Player, you can select repeat single video or repeat all videos in the menu. However, there is a charge for MX Player.