Add specs for argenv interface with the kernel