l4/pkg/libc_backends_l4env/lib/l4env_start_stop
