Proper main prototypes