Note that you can add a similar annotation for the posix library.