A noter que kernel::Exec a un coût caché en RAM de 12 octets.