annoted type for main