error(existence_error(procedure), /(missing_iso_procedure, 0))