main com especificação