[#3] no runtime library needed