$def with(id, filename)