/* * Return the integer 42 on the HP data stack. * Copyright (C) 1994 Alex T Ramos. All rights reserved. No warranty. * */ #include int main(int argc, char *argv[]) { return 42; }