Re-use ProcContext in f