fixes for incomplete c translation code