let p_block ~atomic te = F.e_int 0 , sizeof atomic te