Implement MicroSyscallSpecs