A high-level microprogrammed processor