(module Core_bytes)