fn code_at(pos: &(u64, u64)) -> u64