/* Test the tester.  */
/* { dg-prms-id 42 } */
/* { dg-do run } */

main () { return 0; }