clarified program main calls to check globals and locals