with equivalent code based on the semantics of the built-in function, unless
the call site uses the ``builtin`` attribute. This is valid at call sites
and on function declarations and definitions.
+``nocallback``
+ This attribute indicates that the function is only allowed to jump back into
+ caller's module by a return or an exception, and is not allowed to jump back
+ by invoking a callback function, a direct, possibly transitive, external
+ function call, use of ``longjmp``, or other means. It is a compiler hint that
+ is used at module level to improve dataflow analysis, dropped during linking,
+ and has no effect on functions defined in the current module.
``noduplicate``
This attribute indicates that calls to the function cannot be
duplicated. A call to a ``noduplicate`` function may be moved