Constructors skipped for "no_return" flagging