al_get_video_scaled_height - Allegro 5 API

       Returns the height with which the video frame should be drawn.  Videos often do not use square pixels, so
       this will may return a value larger than the height of the frame bitmap.

       al_get_video_scaled_height - Allegro 5 API

al_get_video_frame(3alleg5)

       5.1.12

Allegro reference manual                                                     al_get_video_scaled_height(3alleg5)

              #include <allegro5/allegro_video.h>

              float al_get_video_scaled_height(ALLEGRO_VIDEO *video)