I think debugging is the only way to find out for sure.