# there totally is code in this file, needed to bypass a bug caused by trim_ctors