[otf: 684]

This is a test of using GitHub commit comments to annotate code