-void ptimer_reset PARAMS ((struct ptimer *));
-double ptimer_measure PARAMS ((struct ptimer *));
-double ptimer_read PARAMS ((const struct ptimer *));
+void ptimer_reset (struct ptimer *);
+double ptimer_measure (struct ptimer *);
+double ptimer_read (const struct ptimer *);