* generated binstubs