with-lock @body