style tweak: should use c-style annotation