(Salamander) frontend_salamander - pass argc pointer to get_environment