Start implementing about_gen_fsms