✏️ Editing: sanboot.c32