l4exec
l4exec.stripped
relocatable.l4exec
