Initial import from propgcc