core.sys.posix: annotate