Simpler VERIFY_REQUEST macro in process.c