#include "types.h" u32 abs(int x) { if (x<0) x=-x; return (u32)x; }