let
bitfield_size_lv lv = sizeof (typeOfLval lv)