let main () = begin
  pcml (tl al);
  init ();
  do_filter (getp !_p) (gett !_t) (getp !_rp) (gett !_rt)
end