(module Uwt_bytes)