Edf othelo priori. ハリーポッター ピンクの先生. Verilog log2 function. Port of yantian.