dursley_pedersen_frame_numbers_size