LeerINT, etc