Check constants are defined
Test function promotion