include "RTL/RTL.ma".

definition chunk ≝ int_size.