[specification] more details on operf-micro