Generated_from:  1157 "/home/ubuntu/felix/src/packages/rtl.fdoc"
Name:  flx_executil
Description:  Felix mini scheduler
Requires: flx 
includes: '"flx_executil.hpp"'