Edit File: os_a32.h