Exploration of Abstract Machines for Function Compilers