OCF and ordinal notation based on a weakly Mahlo cardinal