WITH-LOCKED-INSTANCE shouldn't be exported
Create a function that formats a notification message