Used mk.string().