change type in basicMisc.h