// a trivial .c effect file