provider p { probe foo(); };