Tests for proc