(* test splash file *)