added main procedure to mainsmvc.adb