Add testc to bypass a bug