stubs for undelifier