module HardwareFFI