unit examples_video = {

imports[ stdin : Stdin_T panic : Panic_T s3 : S3_T ]; exports[ main : Main_T ]; ...

}