definition module ExtInt;

import pdExtInt;

roundup_to_multiple s m :== (s + (dec m)) bitand (~m);

from_base_i :: !String !Int !Int !Int -> Int;

between start middle end	:==  start <= middle && middle <= end;