add a TODO where we should consider main is already defined