porting aobench to StandardSML