Implement pass by const and function arg eval