main: datatypes (3)