executable code definition