Verified patcher constants