and if it does not work we should file a bug against GCC :)