ENTRY(protected_start)