some pregenerated interface