Added xrequire procedure.