import "EMBED/u16_to_bits" as to_bits

def main(u16 i) -> field:
	bool[16] bits = to_bits(i)
	field res = 0
	for u32 j in 0..16 do
		u32 exponent = 16 - j - 1
		res = res + if bits[j] then 2 ** exponent else 0 fi
	endfor
	return res