-record(not_null, {pos :: integer()}).