x64: more C stuff