Хм, может быть...
Хотя странно - остальные функции такими штуками не обрамлены.
Кстати, может быть эти "[[" и "]]" выделяют главную функцию ? Хотя на void main() она не похожа...

К сожалению, теперь проверить смогу только на выходных...
Если у кого будет время и желание - может проверите ???