remove get_programCount from stdlib