Seems to be redundant, since it's already declared in ins.h