sfp-machine.h