/* truncated for tool - will use push from file */