Use proc for env