defined updates in stubs.h
Minor repairs with not explicitly casted input