type Basic = Integer
