max@1: 
max@1: void s_wsfe() { }
max@1: void do_fio() { }
max@1: void e_wsfe() { }
max@1: void s_stop() { }