#include "platform.h" intsl_clz(u32int x){	u32int r;	if(x == 0)		return 32;	for(r = 0; (x & (1UL<<31)) == 0; x <<= 1, r++);	return r;}